A Semantically Extended Views Integration Method and Its Application to Pavement Views Integration

Information Integration Using Logical Views

Abs t rac t . A number of ideas concerning information-integration tools can be thought of as constructing answers to queries using views that represent the capabilities of information sources. We review the formal basis of these techniques, which are closely related to containment algorithms for conjunctive queries and/or Datalog programs. Then we compare the approaches taken by AT&T Labs' "In...

Integration of UML Views using B Notations

The translation from UML specifications to formal B specifications gives a way to analyse rigorously UML specifications via their corresponding B formal specifications. This point is significant thanks to B support tools. This paper reports our experiences on UML-into-B translation that emphasise on the integration of different kinds of UML diagrams into B specifications.

Query Integration for Refreshing Web Views

Non-destructive Integration of Form-Based Views

Form documents or screen forms bring essential information on the data manipulated by an organization. They can be considered as different but often overlapping views of its whole data. This paper presents a non-destructive approach of their integration. The main idea of our approach is to keep the original views intact and to specify constraints between overlapping structures. For reasoning ov...

Views for the Integration of Datatypes andControl